Symmetric Matrices, Real Eigenvalues, Orthogonal Eigenvectors